package Gameplay;


/**
 * This interface is to get current player's and enemies' hp and maximum
 * hp. Also this interface can calculate the damageToTake from projectiles
 * to player and enemis.
 * 
 * @author	Brian Wetherbee
 * 			Ryan McNamara
 * 			Zeng Yang
 *
 */
public interface IsLiving {
	public /*@ pure @*/ double getHP();
	
	public /*@ pure @*/ double getMaxHP();
	
	
	/*@ requires toTake >= 0;
	  @ ensures (this).getHP() == (\old this).getHP() - toTake;
	  @*/
	public void damage(double toTake);
	
}
